what is default constructor